Feasible combinatorial matrix theory Polytime proofs for König’s Min-Max and related theorems

نویسندگان

  • Ariel Fernández
  • Michael Soltys
چکیده

We show that the well-known König’s Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory LA with induction restricted to Σ1 formulas. This is an improvement over the standard textbook proof of KMM which requires Π2 induction, and hence does not yield feasible proofs — while our new approach does. LA is a weak theory that essentially captures the ring properties of matrices; however, equipped with Σ1 induction LA is capable of proving KMM, and a host of other combinatorial properties such as Menger’s, Hall’s and Dilworth’s Theorems. Therefore, our result formalizes Min-Max type of reasoning within a feasible framework.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Feasible Combinatorial Matrix Theory

We give the first, as far as we know, feasible proof of König’s Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, and we show the equivalence of KMM to various Min-Max principles, with proofs of low complexity.

متن کامل

Csc5160: Combinatorial Optimization and Approximation Algorithms Topic: Min-max Theorem

In this lecture, we show the applications of the strong duality theorem, and discuss how to obtain min-max theorems and combinatorial algorithms from linear programming. We first introduce the 2 player, zero-sum game and show that this can be solved by minimax theorem and we also prove the minimax theorem by the LP-duality theorem. After that, we introduce some applications of minimax theorem, ...

متن کامل

SOME HYPER K-ALGEBRAIC STRUCTURES INDUCED BY MAX-MIN GENERAL FUZZY AUTOMATA

We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

متن کامل

Computational Complexity of Higher Type Functions

The customary identification of feasible with polytime is discussed, Next, higher type functions are presented as a way of giving computational meaning to theorems. In particular, if a theorem has a "feasibly constructive" proof, the associated functions should be polytime. However examples are given to illustrate the difficulty of capturing the notion of polytime for higher type functions. Fin...

متن کامل

FUZZY SOFT MATRIX THEORY AND ITS APPLICATION IN DECISION MAKING

In this work, we define fuzzy soft ($fs$) matrices and theiroperations which are more functional to make theoretical studies inthe $fs$-set theory. We then define products of $fs$-matrices andstudy their properties. We finally construct a $fs$-$max$-$min$decision making method which can be successfully applied to theproblems that contain uncertainties.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013